double replacement - German English Dictionary